See also Vril Chick.
Monday, June 1, 2020
A Graveyard Smash: Galois Geometry Meets Nordic Aliens
Comments Off on A Graveyard Smash: Galois Geometry Meets Nordic Aliens
Saturday, October 18, 2014
Thursday, April 25, 2024
Space Trace
The title "Space Trace" was suggested yesterday by Claude.ai.
How classical space leaves a Galois trace:
Friday, October 13, 2023
Turn, Turn, Turn
The conclusion of a Hungarian political figure's obituary in
tonight's online New York Times, written by Clay Risen —
"A quietly religious man, he spent his last years translating
works dealing with Roman Catholic canon law."
This journal on the Hungarian's date of death, October 8,
a Sunday, dealt in part with the submission to Wikipedia of
the following brief article . . . and its prompt rejection.
|
The Cullinane diamond theorem is a theorem
The theorem also explains symmetry properties of the Reference
1. Cullinane diamond theorem at |
Some quotations I prefer to Catholic canon law —
|
Ludwig Wittgenstein,
97. Thought is surrounded by a halo. * See the post Wittgenstein's Diamond. Related language in Łukasiewicz (1937)—
|
See as well Diamond Theory in 1937.
Comments Off on Turn, Turn, Turn
Tuesday, February 7, 2023
The Graduate School of Design
The above cubic equation may also be written as
x3 – x – 1 = 0.
The equation occurred in my own work in 1985:
An architects' equation that appears also in Galois geometry.
For further details on the plastic number, see an article by
Siobhan Roberts on John Baez in The New York Times —
Comments Off on The Graduate School of Design
Saturday, September 10, 2022
Orthogonal Latin Triangles
From a 1964 recreational-mathematics essay —
Note that the first two triangle-dissections above are analogous to
mutually orthogonal Latin squares . This implies a connection to
affine transformations within Galois geometry. See triangle graphics
in this journal.
Update of 4:40 AM ET —
Other mystical figures —
"Before time began, there was the Cube."
— Optimus Prime in "Transformers" (Paramount, 2007)
Comments Off on Orthogonal Latin Triangles
Monday, April 18, 2022
Iconic Simplicity
Comments Off on Iconic Simplicity
Tuesday, March 15, 2022
The Rosenhain Symmetry
See other posts now so tagged.
Hudson's Rosenhain tetrads, as 20 of the 35 projective lines in PG(3,2),
illustrate Desargues's theorem as a symmetry within 10 pairs of squares
under rotation about their main diagonals:
See also "The Square Model of Fano's 1892 Finite 3-Space."
The remaining 15 lines of PG(3,2), Hudson's Göpel tetrads, have their
own symmetries . . . as the Cremona-Richmond configuration.
Comments Off on The Rosenhain Symmetry
Friday, August 16, 2019
Nocciolo
A revision of the above diagram showing
the Galois-addition-table structure —
Related tables from August 10 —
See "Schoolgirl Space Revisited."
Comments Off on Nocciolo
Tuesday, August 13, 2019
Putting the Structure in Structuralism
(From his “Structure and Form: Reflections on a Work by Vladimir Propp.”
Translated from a 1960 work in French. It appeared in English as
Chapter VIII of Structural Anthropology, Volume 2 (U. of Chicago Press, 1976).
Chapter VIII was originally published in Cahiers de l’Institut de Science
Économique Appliquée , No. 9 (Series M, No. 7) (Paris: ISEA, March 1960).)
The structure of the matrix of Lévi-Strauss —
Illustration from Diamond Theory , by Steven H. Cullinane (1976).
The relevant field of mathematics is not Boolean algebra, but rather
Galois geometry.
Comments Off on Putting the Structure in Structuralism
Sunday, July 7, 2019
Schoolgirl Problem
Anonymous remarks on the schoolgirl problem at Wikipedia —
"This solution has a geometric interpretation in connection with
Galois geometry and PG(3,2). Take a tetrahedron and label its
vertices as 0001, 0010, 0100 and 1000. Label its six edge centers
as the XOR of the vertices of that edge. Label the four face centers
as the XOR of the three vertices of that face, and the body center
gets the label 1111. Then the 35 triads of the XOR solution correspond
exactly to the 35 lines of PG(3,2). Each day corresponds to a spread
and each week to a packing."
See also Polster + Tetrahedron in this journal.
There is a different "geometric interpretation in connection with
Galois geometry and PG(3,2)" that uses a square model rather
than a tetrahedral model. The square model of PG(3,2) last
appeared in the schoolgirl-problem article on Feb. 11, 2017, just
before a revision that removed it.
Comments Off on Schoolgirl Problem
Sunday, June 16, 2019
Thursday, March 21, 2019
Geometry of Interstices
Finite Galois geometry with the underlying field the simplest one possible —
namely, the two-element field GF(2) — is a geometry of interstices :
For some less precise remarks, see the tags Interstice and Interality.
The rationalist motto "sincerity, order, logic and clarity" was quoted
by Charles Jencks in the previous post.
This post was suggested by some remarks from Queensland that
seem to exemplify these qualities —
Comments Off on Geometry of Interstices
Monday, October 15, 2018
For Zingari Shoolerim*
The structure at top right is that of the
ROMA-ORAM-MARO-AMOR square
in the previous post.
* "Zingari shoolerim" is from
Finnegans Wake .
Comments Off on For Zingari Shoolerim*
Monday, June 25, 2018
The Gateway Device
|
<title data-rh="true">Frank Heart, Who Linked Computers Before the Internet, Dies at 89 – The New York Times</title> |
See also yesterday's "For 6/24" and …
Comments Off on The Gateway Device
Sunday, April 8, 2018
Design
From a Log24 post of Feb. 5, 2009 —
An online logo today —
See also Harry Potter and the Lightning Bolt.
Comments Off on Design
Tuesday, October 3, 2017
Show Us Your Wall
From Monday morning's post Advanced Study —
"Mathematical research currently relies on
a complex system of mutual trust
based on reputations."
— The late Vladimir Voevodsky,
Institute for Advanced Study, Princeton,
The Institute Letter , Summer 2014, p. 8
Related news from today's online New York Times —
A heading from the above screenshot: "SHOW US YOUR WALL."
This suggests a review of a concept from Galois geometry —
(On the wall — a Galois-geometry inscape .)
Comments Off on Show Us Your Wall
Friday, September 29, 2017
Principles Before Personalities*
Comments Off on Principles Before Personalities*
Friday, August 11, 2017
Symmetry’s Lifeboat
A post suggested by the word tzimtzum (see Wednesday)
or tsimtsum (see this morning) —
Lifeboat from the Tsimtsum in Life of Pi —
Another sort of tsimtsum, contracting infinite space to a finite space —
Comments Off on Symmetry’s Lifeboat
Tuesday, July 11, 2017
A Date at the Death Cafe
The New York TImes reports this evening that
"Jon Underwood, Founder of Death Cafe Movement,"
died suddenly at 44 on June 27.
This journal on that date linked to a post titled "The Mystic Hexastigm."
A related remark on the complete 6-point from Sunday, April 28, 2013 —
(See, in Veblen and Young's 1910 Vol. I, exercise 11,
page 53: "A plane section of a 6-point in space can
be considered as 3 triangles perspective in pairs
from 3 collinear points with corresponding sides
meeting in 3 collinear points." This is the large
Desargues configuration. See Classical Geometry
in Light of Galois Geometry.)
This post was suggested, in part, by the philosophical ruminations
of Rosalind Krauss in her 2011 book Under Blue Cup . See
Sunday's post Perspective and Its Transections . (Any resemblance
to Freud's title Civilization and Its Discontents is purely coincidental.)
Comments Off on A Date at the Death Cafe
Wednesday, July 5, 2017
Imaginarium of a Different Kind
The title refers to that of the previous post, "The Imaginarium."
In memory of a translator who reportedly died on May 22, 2017,
a passage quoted here on that date —
Related material — A paragraph added on March 15, 2017,
to the Wikipedia article on Galois geometry —
|
George Conwell gave an early demonstration of Galois geometry in 1910 when he characterized a solution of Kirkman's schoolgirl problem as a partition of sets of skew lines in PG(3,2), the three-dimensional projective geometry over the Galois field GF(2).[3] Similar to methods of line geometry in space over a field of characteristic 0, Conwell used Plücker coordinates in PG(5,2) and identified the points representing lines in PG(3,2) as those on the Klein quadric. — User Rgdboer |
Comments Off on Imaginarium of a Different Kind
Monday, May 29, 2017
The American Sublime
Line from "Vide," a post of June 8, 2014 —
Vide Classical Geometry in Light of Galois Geometry.
Recall that vide means different things in Latin and in French.
See also Stevens + "Vacant Space" in this journal.
Comments Off on The American Sublime
Thursday, February 16, 2017
Schoolgirls and Heptads
A Feb. 12 note in the "talk" section of the Wikipedia article
"Kirkman's schoolgirl problem" —
The illustration above was replaced by a new section in the article,
titled "Galois geometry."
The new section improves the article by giving it greater depth.
For related material, see Conwell Heptads in this journal
(or, more generally, Conwell) and a 1985 note citing Conwell's work.
Comments Off on Schoolgirls and Heptads
Thursday, December 1, 2016
Wednesday, August 24, 2016
Core Statements
"That in which space itself is contained" — Wallace Stevens
An image by Steven H. Cullinane from April 1, 2013:
The large Desargues configuration of Euclidean 3-space can be
mapped canonically to the 4×4 square of Galois geometry —
On an Auckland University of Technology thesis by Kate Cullinane —
The thesis reportedly won an Art Directors Club award on April 5, 2013.
Comments Off on Core Statements
Sunday, August 21, 2016
Imperium Emporium
Comments Off on Imperium Emporium
Tuesday, May 24, 2016
Rosenhain and Göpel Revisited
The authors Taormina and Wendland in the previous post
discussed some mathematics they apparently did not know was
related to a classic 1905 book by R. W. H. T. Hudson, Kummer's
Quartic Surface .
"This famous book is a prototype for the possibility
of explaining and exploring a many-faceted topic of
research, without focussing on general definitions,
formal techniques, or even fancy machinery. In this
regard, the book still stands as a highly recommendable,
unparalleled introduction to Kummer surfaces, as a
permanent source of inspiration and, last but not least,
as an everlasting symbol of mathematical culture."
— Werner Kleinert, Mathematical Reviews ,
as quoted at Amazon.com
Some 4×4 diagrams from that book are highly relevant to the
discussion by Taormina and Wendland of the 4×4 squares within
the 1974 Miracle Octad Generator of R. T. Curtis that were later,
in 1987, described by Curtis as pictures of the vector 4-space over
the two-element Galois field GF(2).
Hudson did not think of his 4×4 diagrams as illustrating a vector space,
but he did use them to picture certain subsets of the 16 cells in each
diagram that he called Rosenhain and Göpel tetrads .
Some related work of my own (click images for related posts)—
Rosenhain tetrads as 20 of the 35 projective lines in PG(3,2)
Göpel tetrads as 15 of the 35 projective lines in PG(3,2)
Related terminology describing the Göpel tetrads above
Comments Off on Rosenhain and Göpel Revisited
Tuesday, February 23, 2016
Both Sides Now
(Continued from the link in the previous post to
a Feb. 20 NY Times essay on the brain's two sides)
From a webpage on Galois geometry —
|
Postscript From a 2002 review by Stacy G. Langton of Sherman Stein's book on mathematics, How the Other Half Thinks : "The title of Stein's book (perhaps chosen by the publisher?) seems to refer to the popular left brain/right brain dichotomy. As Stein writes (p. ix): 'I hope this book will help bridge that notorious gap that separates the two cultures: the humanities and the sciences, or should I say the right brain (intuitive, holistic) and the left brain (analytical, numerical). As the chapters will illustrate, mathematics is not restricted to the analytical and numerical; intuition plays a significant role.' Stein does well to avoid identifying mathematics with the activity of just one side of the brain. He would have done better, however, not to have endorsed the left brain/right brain ideology. While it does indeed appear to be the case that the two sides of our brain act in rather different ways, the idea that the right brain is 'intuitive, holistic,' while the left brain is 'analytical, numerical,' is a vast oversimplification, and goes far beyond the actual evidence." |
Comments Off on Both Sides Now
Friday, January 22, 2016
Easter Footnote
A search from Easter 2013 for "Cremona synthemes" * —
For some strictly mathematical background, see
Classical Geometry in Light of Galois Geometry.
* For more about Cremona and synthemes,
see a 1975 paper by W. L. Edge,
"A Footnote on the Mystic Hexagram."
Comments Off on Easter Footnote
Thursday, January 21, 2016
Dividing the Indivisible
My statement yesterday morning that the 15 points
of the finite projective space PG(3,2) are indivisible
was wrong. I was misled by quoting the powerful
rhetoric of Lincoln Barnett (LIFE magazine, 1949).
Points of Euclidean space are of course indivisible:
"A point is that which has no parts" (in some translations).
And the 15 points of PG(3,2) may be pictured as 15
Euclidean points in a square array (with one point removed)
or tetrahedral array (with 11 points added).
The geometry of PG(3,2) becomes more interesting,
however, when the 15 points are each divided into
several parts. For one approach to such a division,
see Mere Geometry. For another approach, click on the
image below.
Comments Off on Dividing the Indivisible
Thursday, January 7, 2016
Point Omega…
… Continues. See previous episodes.
See as well …
-
Types of Ambiguity : Galois Meets Doctor Faustus,
from December 14, 2010.
-
From Jan. 5, the date of Pierre Boulez's death,
a post on Galois geometry.
- 2016 Joint Mathematics Meetings
The above image is from April 7, 2003.
Comments Off on Point Omega…
Friday, December 25, 2015
Dark Symbol
Related material:
The previous post (Bright Symbol) and
a post from Wednesday,
December 23, 2015, that links to posts
on Boolean algebra vs. Galois geometry.
“An analogy between mathematics and religion is apposite.”
— Harvard Magazine review by Avner Ash of
Mathematics without Apologies
(Princeton University Press, January 18, 2015)
Comments Off on Dark Symbol
Tuesday, December 1, 2015
The Nutshell
See a search for Nocciolo in this journal.
An image from that search —
Recall also Hamlet's
"O God… bad dreams."
Comments Off on The Nutshell
Pascal’s Finite Geometry
See a search for "large Desargues configuration" in this journal.
The 6 Jan. 2015 preprint "Danzer's Configuration Revisited,"
by Boben, Gévay, and Pisanski, places this configuration,
which they call the Cayley-Salmon configuration , in the
interesting context of Pascal's Hexagrammum Mysticum .
They show how the Cayley-Salmon configuration is, in a sense,
dual to something they call the Steiner-Plücker configuration .
This duality appears implicitly in my note of April 26, 1986,
"Picturing the smallest projective 3-space." The six-sets at
the bottom of that note, together with Figures 3 and 4
of Boben et. al. , indicate how this works.
The duality was, as they note, previously described in 1898.
Related material on six-set geometry from the classical literature—
Baker, H. F., "Note II: On the Hexagrammum Mysticum of Pascal,"
in Principles of Geometry , Vol. II, Camb. U. Press, 1930, pp. 219-236
Richmond, H. W., "The Figure Formed from Six Points in Space of Four Dimensions,"
Mathematische Annalen (1900), Volume 53, Issue 1-2, pp 161-176
Richmond, H. W., "On the Figure of Six Points in Space of Four Dimensions,"
Quarterly Journal of Pure and Applied Mathematics , Vol. 31 (1900), pp. 125-160
Related material on six-set geometry from a more recent source —
Cullinane, Steven H., "Classical Geometry in Light of Galois Geometry," webpage
Comments Off on Pascal’s Finite Geometry
Saturday, October 24, 2015
Two Views of Finite Space
The following slides are from lectures on “Advanced Boolean Algebra” —
The small Boolean spaces above correspond exactly to some small
Galois spaces. These two names indicate approaches to the spaces
via Boolean algebra and via Galois geometry .
A reading from Atiyah that seems relevant to this sort of algebra
and this sort of geometry —
” ‘All you need to do is give me your soul: give up geometry
and you will have this marvellous machine.’ (Nowadays you
can think of it as a computer!) “
Related material — The article “Diamond Theory” in the journal
Computer Graphics and Art , Vol. 2 No. 1, February 1977. That
article, despite the word “computer” in the journal’s title, was
much less about Boolean algebra than about Galois geometry .
For later remarks on diamond theory, see finitegeometry.org/sc.
Comments Off on Two Views of Finite Space
Friday, June 19, 2015
Footnote
There is such a thing as geometry.*
* Proposition adapted from A Wrinkle in Time , by Madeleine L'Engle.
Comments Off on Footnote
Wednesday, June 17, 2015
Slow Art, Continued
The title of the previous post, "Slow Art," is a phrase
of the late art critic Robert Hughes.
Example from mathematics:
-
Göpel tetrads as subsets of a 4×4 square in the classic
1905 book Kummer's Quartic Surface by R. W. H. T. Hudson.
These subsets were constructed as helpful schematic diagrams,
without any reference to the concept of finite geometry they
were later to embody.
-
Göpel tetrads (not named as such), again as subsets of
a 4×4 square, that form the 15 isotropic projective lines of the
finite projective 3-space PG(3,2) in a note on finite geometry
from 1986 —
-
Göpel tetrads as these figures of finite geometry in a 1990
foreword to the reissued 1905 book of Hudson:
Click the Barth passage to see it with its surrounding text.
Related material:
Comments Off on Slow Art, Continued
Sunday, May 31, 2015
Tuesday, November 25, 2014
Euclidean-Galois Interplay
For previous remarks on this topic, as it relates to
symmetry axes of the cube, see previous posts tagged Interplay.
The above posts discuss, among other things, the Galois
projective plane of order 3, with 13 points and 13 lines.
These Galois points and lines may be modeled in Euclidean geometry
by the 13 symmetry axes and the 13 rotation planes
of the Euclidean cube. They may also be modeled in Galois geometry
by subsets of the 3x3x3 Galois cube (vector 3-space over GF(3)).
The 3×3×3 Galois Cube
Exercise: Is there any such analogy between the 31 points of the
order-5 Galois projective plane and the 31 symmetry axes of the
Euclidean dodecahedron and icosahedron? Also, how may the
31 projective points be naturally pictured as lines within the
5x5x5 Galois cube (vector 3-space over GF(5))?
Update of Nov. 30, 2014 —
For background to the above exercise, see
pp. 16-17 of A Geometrical Picture Book ,
by Burkard Polster (Springer, 1998), esp.
the citation to a 1983 article by Lemay.
Comments Off on Euclidean-Galois Interplay
Monday, October 27, 2014
Revolutions in Geometry
A post in honor of Évariste Galois (25 October 1811 – 31 May 1832)
From a book by Richard J. Trudeau titled The Non-Euclidean Revolution —
See also “non-Euclidean” in this journal.
One might argue that Galois geometry, a field ignored by Trudeau,
is also “non-Euclidean,” and (for those who like rhetoric) revolutionary.
Comments Off on Revolutions in Geometry
Saturday, October 25, 2014
Foundation Square
In the above illustration of the 3-4-5 Pythagorean triangle,
the grids on each side may be regarded as figures of
Euclidean geometry or of Galois geometry.
In Euclidean geometry, these grids illustrate a property of
the inner triangle.
In elementary Galois geometry, ignoring the connection with
the inner triangle, the grids may be regarded instead as
illustrating vector spaces over finite (i.e., Galois) fields.
Previous posts in this journal have dealt with properties of
the 3×3 and 4×4 grids. This suggests a look at properties of
the next larger grid, the 5×5 array, viewed as a picture of the
two-dimensional vector space (or affine plane) over the finite
Galois field GF(5) (also known as ℤ5).
The 5×5 array may be coordinatized in a natural way, as illustrated
in (for instance) Matters Mathematical , by I.N. Herstein and
Irving Kaplansky, 2nd ed., Chelsea Publishing, 1978, p. 171:
See Herstein and Kaplansky for the elementary Galois geometry of
the 5×5 array.
For 5×5 geometry that is not so elementary, see…
-
"The Hoffman-Singleton Graph and its Automorphisms," by
Paul R. Hafner, Journal of Algebraic Combinatorics , 18 (2003), 7–12, and -
the Web pages "Hoffman-Singleton Graph" and "Higman-Sims Graph"
of A. E. Brouwer.
Hafner's abstract:
We describe the Hoffman-Singleton graph geometrically, showing that
it is closely related to the incidence graph of the affine plane over ℤ5.
This allows us to construct all automorphisms of the graph.
The remarks of Brouwer on graphs connect the 5×5-related geometry discussed
by Hafner with the 4×4 geometry related to the Steiner system S(5,8,24).
(See the Miracle Octad Generator of R. T. Curtis and the related coordinatization
by Cullinane of the 4×4 array as a four-dimensional vector space over GF(2).)
Comments Off on Foundation Square
Tuesday, October 21, 2014
Tools
(Night at the Museum continues.)
"Strategies for making or acquiring tools
While the creation of new tools marked the route to developing the social sciences,
the question remained: how best to acquire or produce those tools?"
— Jamie Cohen-Cole, “Instituting the Science of Mind: Intellectual Economies
and Disciplinary Exchange at Harvard’s Center for Cognitive Studies,”
British Journal for the History of Science vol. 40, no. 4 (2007): 567-597.
Obituary of a co-founder, in 1960, of the Center for Cognitive Studies at Harvard:
"Disciplinary Exchange" —
In exchange for the free Web tools of HTML and JavaScript,
some free tools for illustrating elementary Galois geometry —
The Kaleidoscope Puzzle, The Diamond 16 Puzzle,
The 2x2x2 Cube, and The 4x4x4 Cube
"Intellectual Economies" —
In exchange for a $10 per month subscription, an excellent
"Quilt Design Tool" —
This illustrates not geometry, but rather creative capitalism.
Related material from the date of the above Harvard death: Art Wars.
Comments Off on Tools
Saturday, October 18, 2014
Educational Series
Barron's Educational Series (click to enlarge):
The Tablet of Ahkmenrah:
"With the Tablet of Ahkmenrah and the Cube of Rubik,
my power will know no bounds!"
— Kahmunrah in a novelization of Night at the Museum:
Battle of the Smithsonian , Barron's Educational Series
Another educational series (this journal):
Art theorist Rosalind Krauss and The Ninefold Square
Comments Off on Educational Series
Saturday, July 12, 2014
Sequel
A sequel to the 1974 film
Thunderbolt and Lightfoot :
Contingent and Fluky
Some variations on a thunderbolt theme:
These variations also exemplify the larger
Verbum theme:
A search today for Verbum in this journal yielded
a Georgetown University Chomskyite, Professor
David W. Lightfoot.
"Dr. Lightfoot writes mainly on syntactic theory,
language acquisition and historical change, which
he views as intimately related. He argues that
internal language change is contingent and fluky,
takes place in a sequence of bursts, and is best
viewed as the cumulative effect of changes in
individual grammars, where a grammar is a
'language organ' represented in a person's
mind/brain and embodying his/her language
faculty."
Some syntactic work by another contingent and fluky author
is related to the visual patterns illustrated above.
See Tecumseh Fitch in this journal.
For other material related to the large Verbum cube,
see posts for the 18th birthday of Harry Potter.
That birthday was also the upload date for the following:
See esp. the comments section.
Comments Off on Sequel
Sunday, June 8, 2014
Vide
"The relevance of a geometric theorem is determined by what the theorem
tells us about space, and not by the eventual difficulty of the proof."
— Gian-Carlo Rota discussing the theorem of Desargues
What space tells us about the theorem :
In the simplest case of a projective space (as opposed to a plane ),
there are 15 points and 35 lines: 15 Göpel lines and 20 Rosenhain lines.*
The theorem of Desargues in this simplest case is essentially a symmetry
within the set of 20 Rosenhain lines. The symmetry, a reflection
about the main diagonal in the square model of this space, interchanges
10 horizontally oriented (row-based) lines with 10 corresponding
vertically oriented (column-based) lines.
Vide Classical Geometry in Light of Galois Geometry.
* Update of June 9: For a more traditional nomenclature, see (for instance)
R. Shaw, 1995. The "simplest case" link above was added to point out that
the two types of lines named are derived from a natural symplectic polarity
in the space. The square model of the space, apparently first described in
notes written in October and December, 1978, makes this polarity clearly visible:
Comments Off on Vide
Tuesday, May 20, 2014
Play
From a recreational-mathematics weblog yesterday:
"This appears to be the arts section of the post,
so I’ll leave Martin Probert’s page on
The Survival, Origin and Mathematics of String Figures
here. I’ll be back to pick it up at the end. Maybe it’d like
to play with Steven H. Cullinane’s pages on the
Finite Geometry of the Square and Cube."
I doubt they would play well together.
Perhaps the offensive linking of the purely recreational topic
of string figures to my own work was suggested by the
string figures' resemblance to figures of projective geometry.
A pairing I prefer: Desargues and Galois —
For further details, see posts on Desargues and Galois.
Comments Off on Play
Thursday, March 20, 2014
Classical Galois
Comments Off on Classical Galois
Monday, February 10, 2014
Mystery Box III: Inside, Outside
(Continued from Mystery Box, Feb. 4, and Mystery Box II, Feb. 5.)
The Box
Inside the Box
Outside the Box
For the connection of the inside notation to the outside geometry,
see Desargues via Galois.
(For a related connection to curves and surfaces in the outside
geometry, see Hudson's classic Kummer's Quartic Surface and
Rosenhain and Göpel Tetrads in PG(3,2).)
Comments Off on Mystery Box III: Inside, Outside
Tuesday, December 3, 2013
Diamond Space
A new website illustrates its URL.
See DiamondSpace.net.
Comments Off on Diamond Space
Saturday, August 17, 2013
Up-to-Date Geometry
The following excerpt from a January 20, 2013, preprint shows that
a Galois-geometry version of the large Desargues 154203 configuration,
although based on the nineteenth-century work of Galois* and of Fano,**
may at times have twenty-first-century applications.
Atkinson's paper does not use the square model of PG(3,2), which later
in 2013 provided a natural view of the large Desargues 154203 configuration.
See my own Classical Geometry in Light of Galois Geometry. Atkinson's
"subset of 20 lines" corresponds to 20 of the 80 Rosenhain tetrads
mentioned in that later article and pictured within 4×4 squares in Hudson's
1905 classic Kummer's Quartic Surface.
* E. Galois, definition of finite fields in "Sur la Théorie des Nombres,"
Bulletin des Sciences Mathématiques de M. Férussac,
Vol. 13, 1830, pp. 428-435.
** G. Fano, definition of PG(3,2) in "Sui Postulati Fondamentali…,"
Giornale di Matematiche, Vol. 30, 1892, pp. 106-132.
Comments Off on Up-to-Date Geometry
Friday, August 16, 2013
Six-Set Geometry
From April 23, 2013, in
"Classical Geometry in Light of Galois Geometry"—
Click above image for some background from 1986.
Related material on six-set geometry from the classical literature—
Baker, H. F., "Note II: On the Hexagrammum Mysticum of Pascal,"
in Principles of Geometry , Vol. II, Camb. U. Press, 1930, pp. 219-236
Richmond, H. W., "The Figure Formed from Six Points in Space of Four Dimensions,"
Mathematische Annalen (1900), Volume 53, Issue 1-2, pp 161-176
Richmond, H. W., "On the Figure of Six Points in Space of Four Dimensions,"
Quarterly Journal of Pure and Applied Mathematics , Vol. 31 (1900), pp. 125-160
Comments Off on Six-Set Geometry
Tuesday, August 6, 2013
Desargues via Galois
The following image gives a brief description
of the geometry discussed in last spring's
Classical Geometry in Light of Galois Geometry.
Update of Aug. 7, 2013: See also an expanded PDF version.
Comments Off on Desargues via Galois
Sunday, July 28, 2013
Sermon
(Simplicity continued)
"Understanding a metaphor is like understanding a geometrical
truth. Features of various geometrical figures or of various contexts
are pulled into revealing alignment with one another by the
demonstration or the metaphor.
What is 'revealed' is not that the alignment is possible; rather,
that the alignment is possible reveals the presence of already-
existing shapes or correspondences that lay unnoticed. To 'see' a
proof or 'get' a metaphor is to experience the significance of the
correspondence for what the thing, concept, or figure is ."
— Jan Zwicky, Wisdom & Metaphor , page 36 (left)
Zwicky illustrates this with Plato's diamond figure
from the Meno on the facing page— her page 36 (right).
A more sophisticated geometrical figure—
Galois-geometry key to
Desargues' theorem:
| D | E | F | |
| S' | P | Q | R |
| S | P' | Q' | R' |
| O | P1 | Q1 | R1 |
For an explanation, see
Classical Geometry in Light of Galois Geometry.
Comments Off on Sermon
Thursday, July 4, 2013
Declaration of Independent
"Classical Geometry in Light of Galois Geometry"
is now available at independent.academia.edu.
Related commentary: Yesterday's post Vision
and a post of February 21, 2013: Galois Space.
Comments Off on Declaration of Independent
Sunday, April 28, 2013
The Octad Generator
… And the history of geometry —
Desargues, Pascal, Brianchon and Galois
in the light of complete n-points in space.
(Rewritten for clarity at about 10 AM ET April 29, with quote from Dowling added.
Updated with a reference to a Veblen and Young exercise (on p. 53) on April 30.)
Veblen and Young, Projective Geometry, Vol. I ,
Ginn and Company, 1910, page 39:
"The Desargues configuration. A very important configuration
is obtained by taking the plane section of a complete space five-point."
Each of figures 14 and 15 above has 15 points and 20 lines.
The Desargues configuration within each figure is denoted by
10 white points and 10 solid lines, with 3 points on each line and
3 lines on each point. Black points and dashed lines indicate the
complete space five-point and lines connecting it to the plane section
containing the Desargues configuration.
In a 1915 University of Chicago doctoral thesis, Archibald Henderson
used a complete space six -point to construct a configuration of
15 points and 20 lines in the context not of Desargues ' theorem, but
rather of Brianchon 's theorem and of the Pascal hexagram.
Henderson's 1915 configuration is, it turns out, isomorphic to that of
the 15 points and 20 lines in the configuration constructed via a
complete space five -point five years earlier by Veblen and Young.
(See, in Veblen and Young's 1910 Vol. I, exercise 11, page 53:
"A plane section of a 6-point in space can be considered as
3 triangles perspective in pairs from 3 collinear points with
corresponding sides meeting in 3 collinear points." This is the
large Desargues configuration. See Classical Geometry in Light of
Galois Geometry.)
For this large Desargues configuration see April 19.
For Henderson's complete six –point, see The Six-Set (April 23).
That post ends with figures relating the large Desargues configuration
to the Galois geometry PG(3,2) that underlies the Curtis
Miracle Octad Generator and the large Mathieu group M24 —
See also Note on the MOG Correspondence from April 25, 2013.
That correspondence was also discussed in a note 28 years ago, on this date in 1985.
Comments Off on The Octad Generator
Tuesday, April 23, 2013
The Six-Set
The configurations recently discussed in
Classical Geometry in Light of Galois Geometry
are not unrelated to the 27 "Solomon's Seal Lines"
extensively studied in the 19th century.
See, in particular—
The following figures supply the connection of Henderson's six-set
to the Galois geometry previously discussed in "Classical Geometry…"—
Comments Off on The Six-Set
Friday, April 19, 2013
The Large Desargues Configuration
Desargues' theorem according to a standard textbook:
"If two triangles are perspective from a point
they are perspective from a line."
The converse, from the same book:
"If two triangles are perspective from a line
they are perspective from a point."
Desargues' theorem according to Wikipedia
combines the above statements:
"Two triangles are in perspective axially [i.e., from a line]
if and only if they are in perspective centrally [i.e., from a point]."
A figure often used to illustrate the theorem,
the Desargues configuration , has 10 points and 10 lines,
with 3 points on each line and 3 lines on each point.
A discussion of the "if and only if" version of the theorem
in light of Galois geometry requires a larger configuration—
15 points and 20 lines, with 3 points on each line
and 4 lines on each point.
This large Desargues configuration involves a third triangle,
needed for the proof (though not the statement ) of the
"if and only if" version of the theorem. Labeled simply
"Desargues' Theorem," the large configuration is the
frontispiece to Volume I (Foundations) of Baker's 6-volume
Principles of Geometry .
Point-line incidence in this larger configuration is,
as noted in a post of April 1, 2013, described concisely
by 20 Rosenhain tetrads (defined in 1905 by
R. W. H. T. Hudson in Kummer's Quartic Surface ).
The third triangle, within the larger configuration,
is pictured below.
Comments Off on The Large Desargues Configuration
Saturday, April 13, 2013
Veblen and Young in Light of Galois
Another in a series of figures illustrating
Desargues's theorem in light of Galois geometry:
Comments Off on Veblen and Young in Light of Galois
Sunday, April 7, 2013
Pascal Inscape
Background: Inscapes and The 2-subsets of a 6-set are the points of a PG(3,2).
Related remarks: Classical Geometry in Light of Galois Geometry.
Comments Off on Pascal Inscape
Saturday, April 6, 2013
Pascal via Curtis
Click image for some background.
Shown above is a rearranged version of the
Miracle Octad Generator (MOG) of R. T. Curtis
("A new combinatorial approach to M24,"
Math. Proc. Camb. Phil. Soc., 79 (1976), 25-42.)
The 8-subcell rectangles in the left part of the figure may be
viewed as illustrating (if the top left subcell is disregarded)
the thirty-five 3-subsets of a 7-set.
Such a view relates, as the remarks below show, the
MOG's underlying Galois geometry, that of PG(3,2), to
the hexagrammum mysticum of Pascal.
On Danzer's 354 Configuration:
"Combinatorially, Danzer’s configuration can be interpreted
as defined by all 3-sets and all 4-sets that can be formed
by the elements of a 7-element set; each 'point' is represented
by one of the 3-sets, and it is incident with those lines
(represented by 4-sets) that contain the 3-set."
— Branko Grünbaum, "Musings on an Example of Danzer's,"
European Journal of Combinatorics , 29 (2008),
pp. 1910–1918 (online March 11, 2008)
"Danzer's configuration is deeply rooted in
Pascal's Hexagrammum Mysticum ."
— Marko Boben, Gábor Gévay, and Tomaž Pisanski,
"Danzer's Configuration Revisited," arXiv.org, Jan. 6, 2013
For an approach to such configurations that differs from
those of Grünbaum, Boben, Gévay, and Pisanski, see
Classical Geometry in Light of Galois Geometry.
Grünbaum has written little about Galois geometry.
Pisanski has recently touched on the subject;
see Configurations in this journal (Feb. 19, 2013).
Comments Off on Pascal via Curtis
Wednesday, April 3, 2013
Museum Piece
Roberta Smith in 2011 on the American Folk Art Museum (see previous post):
"It could be argued that we need a museum of folk art
the way we need a museum of modern art,
to shine a very strong, undiluted light on
a very important achievement."
Some other aesthetic remarks:
"We have had a gutful of fast art and fast food.
What we need more of is slow art: art that holds time
as a vase holds water: art that grows out of modes
of perception and whose skill and doggedness
make you think and feel; art that isn't merely sensational,
that doesn't get its message across in 10 seconds,
that isn't falsely iconic, that hooks onto something
deep-running in our natures. In a word, art that is
the very opposite of mass media. For no spiritually
authentic art can beat mass media at their own game."
— Robert Hughes, speech of June 2, 2004,
quoted here June 15, 2007.
Perhaps, as well as museums of modern art and of folk art,
we need a Museum of Slow Art.
One possible exhibit, from this journal Monday:
The diagram on the left is from 1922. The 20 small squares at right
that each have 4 subsquares darkened were discussed, in a different
context, in 1905. They were re-illustrated, in a new context
(Galois geometry), in 1986. The "key" square, and the combined
illustration, is from April 1, 2013. For deeper background, see
Classical Geometry in Light of Galois Geometry.
Those who prefer faster art may consult Ten Years After.
Comments Off on Museum Piece
Tuesday, April 2, 2013
Baker on Configurations
The geometry posts of Sunday and Monday have been
placed in finitegeometry.org as
Classical Geometry in Light of Galois Geometry.
Some background:
See Baker, Principles of Geometry , Vol. II, Note I
(pp. 212-218)—
On Certain Elementary Configurations, and
on the Complete Figure for Pappus's Theorem
and Vol. II, Note II (pp. 219-236)—
On the Hexagrammum Mysticum of Pascal.
Monday's elucidation of Baker's Desargues-theorem figure
treats the figure as a 154203 configuration (15 points,
4 lines on each, and 20 lines, 3 points on each).
Such a treatment is by no means new. See Baker's notes
referred to above, and
"The Complete Pascal Figure Graphically Presented,"
a webpage by J. Chris Fisher and Norma Fuller.
What is new in the Monday Desargues post is the graphic
presentation of Baker's frontispiece figure using Galois geometry :
specifically, the diamond theorem square model of PG(3,2).
See also Cremona's kernel, or nocciolo :
Baker on Cremona's approach to Pascal—
"forming, in Cremona's phrase, the nocciolo of the whole."
A related nocciolo :
Click on the nocciolo for some
geometric background.
Comments Off on Baker on Configurations
Monday, April 1, 2013
Desargues via Rosenhain
Background: Rosenhain and Göpel Tetrads in PG(3,2)
|
Introduction: The Large Desargues Configuration Added by Steven H. Cullinane on Friday, April 19, 2013 Desargues' theorem according to a standard textbook:
"If two triangles are perspective from a point The converse, from the same book:
"If two triangles are perspective from a line
Desargues' theorem according to Wikipedia
"Two triangles are in perspective axially [i.e., from a line]
A figure often used to illustrate the theorem,
A discussion of the "if and only if" version of the theorem
This large Desargues configuration involves a third triangle,
Point-line incidence in this larger configuration is,
The third triangle, within the larger configuration,
|
A connection discovered today (April 1, 2013)—
(Click to enlarge the image below.)
Update of April 18, 2013
Note that Baker's Desargues-theorem figure has three triangles,
ABC, A'B'C', A"B"C", instead of the two triangles that occur in
the statement of the theorem. The third triangle appears in the
course of proving, not just stating, the theorem (or, more precisely,
its converse). See, for instance, a note on a standard textbook for
further details.
(End of April 18, 2013 update.)
Update of April 14, 2013
See Baker's Proof (Edited for the Web) for a detailed explanation
of the above picture of Baker's Desargues-theorem frontispiece.
(End of April 14, 2013 update.)
Update of April 12, 2013
A different figure, from a site at National Tsing Hua University,
shows the three triangles of Baker's figure more clearly:
(End of update of April 12, 2013)
Update of April 13, 2013
Another in a series of figures illustrating
Desargues's theorem in light of Galois geometry:
See also the original Veblen-Young figure in context.
(End of update of April 13, 2013)
Rota's remarks, while perhaps not completely accurate, provide some context
for the above Desargues-Rosenhain connection. For some other context,
see the interplay in this journal between classical and finite geometry, i.e.
between Euclid and Galois.
For the recent context of the above finite-geometry version of Baker's Vol. I
frontispiece, see Sunday evening's finite-geometry version of Baker's Vol. IV
frontispiece, featuring the Göpel, rather than the Rosenhain, tetrads.
For a 1986 illustration of Göpel and Rosenhain tetrads (though not under
those names), see Picturing the Smallest Projective 3-Space.
In summary… the following classical-geometry figures
are closely related to the Galois geometry PG(3,2):
|
Volume I of Baker's Principles has a cover closely related to the Rosenhain tetrads in PG(3,2) |
Volume IV of Baker's Principles has a cover closely related to the Göpel tetrads in PG(3,2) |
|
Foundations (click to enlarge)
|
Higher Geometry (click to enlarge)
|
Comments Off on Desargues via Rosenhain
Tuesday, February 19, 2013
Configurations
Yesterday's post Permanence dealt with the cube
as a symmetric model of the finite projective plane
PG(2,3), which has 13 points and 13 lines. The points
and lines of the finite geometry occur in the cube as
the 13 axes of symmetry and the 13 planes through
the center perpendicular to those axes. If the three
axes lying in a plane that cuts the cube in a hexagon
are supplemented by the axis perpendicular to that
plane, each plane is associated with four axes and,
dually, each axis is associated with four planes.
My web page on this topic, Cubist Geometries, was
written on February 27, 2010, and first saved to the
Internet Archive on Oct. 4, 2010.
For a more recent treatment of this topic that makes
exactly the same points as the 2010 page, see p. 218
of Configurations from a Graphical Viewpoint , by
Tomaž Pisanski and Brigitte Servatius, published by
Springer on Sept. 23, 2012 (date from both Google
Books and Amazon.com):
For a similar 1998 treatment of the topic, see Burkard Polster's
A Geometrical Picture Book (Springer, 1998), pp. 103-104.
The Pisanski-Servatius book reinforces my argument of Jan. 13, 2013,
that the 13 planes through the cube's center that are perpendicular
to the 13 axes of symmetry of the cube should be called the cube's
symmetry planes , contradicting the usual use of of that term.
That argument concerns the interplay between Euclidean and
Galois geometry. Pisanski and Servatius (and, in 1998, Polster)
emphasize the Euclidean square and cube as guides* to
describing the structure of a Galois space. My Jan. 13 argument
uses Galois structures as a guide to re-describing those of Euclid .
(For a similar strategy at a much more sophisticated level,
see a recent Harvard Math Table.)
Related material: Remarks on configurations in this journal
during the month that saw publication of the Pisanski-Servatius book.
* Earlier guides: the diamond theorem (1978), similar theorems for
2x2x2 (1984) and 4x4x4 cubes (1983), and Visualizing GL(2,p)
(1985). See also Spaces as Hypercubes (2012).
Comments Off on Configurations
Monday, February 18, 2013
Permanence
Inscribed hexagon (1984)
The well-known fact that a regular hexagon
may be inscribed in a cube was the basis
in 1984 for two ways of coloring the faces
of a cube that serve to illustrate some graphic
aspects of embodied Galois geometry—
Inscribed hexagon (2013)
A redefinition of the term "symmetry plane"
also uses the well-known inscription
of a regular hexagon in the cube—
Related material
"Here is another way to present the deep question 1984 raises…."
— "The Quest for Permanent Novelty," by Michael W. Clune,
The Chronicle of Higher Education , Feb. 11, 2013
“What we do may be small, but it has a certain character of permanence.”
— G. H. Hardy, A Mathematician’s Apology
Comments Off on Permanence
Sunday, December 9, 2012
Adam in Eden
"… we have taken the first steps
in decoding the uniquely human
fascination with visual patterns…."
— W. Tecumseh Fitch et al. , July 2012
Fitch cites the following as a reference:
Washburn and Crowe discuss symmetries in general, but
not the Galois geometry underlying patterns like some of
those shown on their book's cover.
Comments Off on Adam in Eden
Sunday, July 29, 2012
The Galois Tesseract
The three parts of the figure in today's earlier post "Defining Form"—
— share the same vector-space structure:
| 0 | c | d | c + d |
| a | a + c | a + d | a + c + d |
| b | b + c | b + d | b + c + d |
| a + b | a + b + c | a + b + d | a + b + c + d |
(This vector-space a b c d diagram is from Chapter 11 of
Sphere Packings, Lattices and Groups , by John Horton
Conway and N. J. A. Sloane, first published by Springer
in 1988.)
The fact that any 4×4 array embodies such a structure was implicit in
the diamond theorem (February 1979). Any 4×4 array, regarded as
a model of the finite geometry AG(4, 2), may be called a Galois tesseract.
(So called because of the Galois geometry involved, and because the
16 cells of a 4×4 array with opposite edges identified have the same
adjacency pattern as the 16 vertices of a tesseract (see, for instance,
Coxeter's 1950 "Self-Dual Configurations and Regular Graphs," figures
5 and 6).)
A 1982 discussion of a more abstract form of AG(4, 2):
Source:
The above 1982 remarks by Brouwer may or may not have influenced
the drawing of the above 1988 Conway-Sloane diagram.
Comments Off on The Galois Tesseract
Thursday, June 21, 2012
Lesson
From Tony Rothman's review of a 2006 book by
Siobhan Roberts—
"The most engaging aspect of the book is its
chronicle of the war between geometry and algebra,
which pits Coxeter, geometry's David, against
Nicolas Bourbaki, algebra's Goliath."
The conclusion of Rothman's review—
"There is a lesson here."
Related material: a search for Galois geometry .
Comments Off on Lesson
Thursday, May 3, 2012
Everybody Comes to Rick’s
“The key is the cocktail that begins the proceedings.”
– Brian Harley, Mate in Two Moves
See also yesterday's Endgame , as well as Play and Interplay
from April 28… and, as a key, the following passage from
an earlier April 28 post—
| Euclidean geometry has long been applied to physics; Galois geometry has not. The cited webpage describes the interplay of both sorts of geometry— Euclidean and Galois, continuous and discrete— within physical space— if not within the space of physics . |
Comments Off on Everybody Comes to Rick’s
Saturday, April 28, 2012
Sprechen Sie Deutsch?
A Log24 post, "Bridal Birthday," one year ago today linked to
"The Discrete and the Continuous," a brief essay by David Deutsch.
From that essay—
"The idea of quantization—
the discreteness of physical quantities—
turned out to be immensely fruitful."
Deutsch's "idea of quantization" also appears in
the April 12 Log24 post Mythopoetic—
|
"Is Space Digital?" — Cover story, Scientific American "The idea that space may be digital — Physicist Sabine Hossenfelder "A quantization of space/time — Peter Woit in a comment |
It seems some clarification is in order.
Hossenfelder's "The idea that space may be digital"
and Woit's "a quantization of space/time" may not
refer to the same thing.
Scientific American on the concept of digital space—
"Space may not be smooth and continuous.
Instead it may be digital, composed of tiny bits."
Wikipedia on the concept of quantization—
Causal sets, loop quantum gravity, string theory,
and black hole thermodynamics all predict
a quantized spacetime….
For a purely mathematical approach to the
continuous-vs.-discrete issue, see
Finite Geometry and Physical Space.
The physics there is somewhat tongue-in-cheek,
but the geometry is serious.The issue there is not
continuous-vs.-discrete physics , but rather
Euclidean-vs.-Galois geometry .
Both sorts of geometry are of course valid.
Euclidean geometry has long been applied to
physics; Galois geometry has not. The cited
webpage describes the interplay of both sorts
of geometry— Euclidean and Galois, continuous
and discrete— within physical space— if not
within the space of physics.
Comments Off on Sprechen Sie Deutsch?
Saturday, April 7, 2012
Background
From Joyce's 1912 Trieste lecture on Blake:
"Michelangelo's influence is felt in all of Blake's work, and especially in some passages of prose collected in the fragments, in which he always insists on the importance of the pure, clean line that evokes and creates the figure on the background of the uncreated void."
For a related thought from Michelangelo, see Marmo Solo .
For pure, clean lines, see Galois Geometry.
As for "the uncreated void," see the Ernst Gombrich link in Marmo Solo for "an almost medieval allegory of how man confronts the void."
For some related religious remarks suited to the Harrowing of Hell on this Holy Saturday, see August 16, 2003.
Comments Off on Background
Tuesday, January 24, 2012
The Infinity Point
From Labyrinth of the Line (March 2, 2011)—
"… construct the Golay code by taking the 24 points
to be the points of the projective line F23 ∪ {∞}…."
— Robert A. Wilson
A simpler projective line— a Galois geometry
model of the line F2 ∪ {∞}—
Here we may consider ∞ to be modeled*
by the third square above— the Galois window .
* Update of about 1 AM Jan. 25, 2012—
This infinity-modeling is of course a poetic conceit,
not to be taken too seriously. For a serious
discussion of points at infinity and finite fields,
see (for instance) Daniel Bump's "The Group GL(2)."
Comments Off on The Infinity Point
Friday, September 9, 2011
Galois vs. Rubik
(Continued from Abel Prize, August 26)
The situation is rather different when the
underlying Galois field has two rather than
three elements… See Galois Geometry.
The coffee scene from “Bleu”
Related material from this journal:
The Dream of
the Expanded Field
Comments Off on Galois vs. Rubik
Tuesday, August 23, 2011
Four Winds
Related remarks —
- Sunday's Log24 post Cuatro Vientos on Jack Kerouac
- The phrase dies natalis in Log24
-
Another weblog in 2004 on the dies natalis of Jack Kerouac.
That weblog gives the dies as Oct. 20, but other sources
say Kerouac died at 5:15 AM on Oct. 21. - A Log24 post on Oct. 20 last year related to the Oct. 21 date.
For the eight-limbed star at the top of the quaternion array above,
see "Damnation Morning" in this journal—
She drew from her handbag a pale grey gleaming implement that looked by quick turns to me like a knife, a gun, a slim sceptre, and a delicate branding iron—especially when its tip sprouted an eight-limbed star of silver wire. “The test?” I faltered, staring at the thing. “Yes, to determine whether you can live in the fourth dimension or only die in it.” — Fritz Leiber, short story, 1959
See also Feb. 19, 2011.
Comments Off on Four Winds
Sunday, June 26, 2011
Paradigms Lost
Continued from March 10, 2011 — A post that says
"If Galois geometry is thought of as a paradigm shift
from Euclidean geometry, both… the Kuhn cover
and the nine-point affine plane may be viewed…
as illustrating the shift."
Yesterday's posts The Fano Entity and Theology for Antichristmas,
together with this morning's New York Times obituaries (below)—
—suggest a Sunday School review from last year's
Devil's Night (October 30-31, 2010)—
|
Sunday, October 31, 2010 ART WARS – m759 @ 2:00 AM … There is a Cave – Paradise Lost , by John Milton
|
See also Ash Wednesday Surprise and Geometry for Jews.
Comments Off on Paradigms Lost
Friday, June 24, 2011
For Stephen King Fans
Comments Off on For Stephen King Fans
Wednesday, April 27, 2011
Block That Metaphor–
A Note on Galois Geometry
|
Simple groups as the (Click image to enlarge.)
|
Points, lines, etc., as the
|
Related material —
(Click images for some background.)
|
Building blocks and
|
Building blocks and |
Comments Off on Block That Metaphor–
Thursday, March 10, 2011
Paradigms Lost
(Continued from February 19)
The cover of the April 1, 1970 second edition of The Structure of Scientific Revolutions , by Thomas S. Kuhn—
This journal on January 19, 2011—
If Galois geometry is thought of as a paradigm shift from Euclidean geometry,
both images above— the Kuhn cover and the nine-point affine plane—
may be viewed, taken together, as illustrating the shift. The nine subcubes
of the Euclidean 3x3x3 cube on the Kuhn cover do not form an affine plane
in the coordinate system of the Galois cube in the second image, but they
at least suggest such a plane. Similarly, transformations of a
non-mathematical object, the 1974 Rubik cube, are not Galois transformations,
but they at least suggest such transformations.
See also today's online Harvard Crimson illustration of problems of translation—
not unrelated to the problems of commensurability discussed by Kuhn.
Comments Off on Paradigms Lost
Friday, September 17, 2010
The Galois Window
Yesterday's excerpt from von Balthasar supplies some Catholic aesthetic background for Galois geometry.
That approach will appeal to few mathematicians, so here is another.
Euclid's Window: The Story of Geometry from Parallel Lines to Hyperspace is a book by Leonard Mlodinow published in 2002.
More recently, Mlodinow is the co-author, with Stephen Hawking, of The Grand Design (published on September 7, 2010).
A review of Mlodinow's book on geometry—
"This is a shallow book on deep matters, about which the author knows next to nothing."
— Robert P. Langlands, Notices of the American Mathematical Society, May 2002
The Langlands remark is an apt introduction to Mlodinow's more recent work.
It also applies to Martin Gardner's comments on Galois in 2007 and, posthumously, in 2010.
For the latter, see a Google search done this morning—
Here, for future reference, is a copy of the current Google cache of this journal's "paged=4" page.
Note the link at the bottom of the page in the May 5, 2010, post to Peter J. Cameron's web journal. Following the link, we find…
For n=4, there is only one factorisation, which we can write concisely as 12|34, 13|24, 14|23. Its automorphism group is the symmetric group S4, and acts as S3 on the set of three partitions, as we saw last time; the group of strong automorphisms is the Klein group.
This example generalises, by taking the factorisation to consist of the parallel classes of lines in an affine space over GF(2). The automorphism group is the affine group, and the group of strong automorphisms is its translation subgroup.
See also, in this journal, Window and Window, continued (July 5 and 6, 2010).
Gardner scoffs at the importance of Galois's last letter —
"Galois had written several articles on group theory, and was
merely annotating and correcting those earlier published papers."
— Last Recreations, page 156
For refutations, see the Bulletin of the American Mathematical Society in March 1899 and February 1909.
Comments Off on The Galois Window
Saturday, August 7, 2010
The Matrix Reloaded
For aficionados of mathematics and narrative —
Illustration from
"The Galois Quaternion— A Story"
This resembles an attempt by Coxeter in 1950 to represent
a Galois geometry in the Euclidean plane—
The quaternion illustration above shows a more natural way to picture this geometry—
not with dots representing points in the Euclidean plane, but rather with unit squares
representing points in a finite Galois affine plane. The use of unit squares to
represent points in Galois space allows, in at least some cases, the actions
of finite groups to be represented more naturally than in Euclidean space.
See Galois Geometry, Geometry Simplified, and
Finite Geometry of the Square and Cube.
Comments Off on The Matrix Reloaded
Thursday, June 24, 2010
Midsummer Noon
Geometry Simplified
(a projective space)
The above finite projective space
is the simplest nontrivial example
of a Galois geometry (i.e., a finite
geometry with coordinates in a
finite (that is, Galois) field.)
The vertical (Euclidean) line represents a
(Galois) point, as does the horizontal line
and also the vertical-and-horizontal
cross that represents the first two points'
binary sum (i.e., symmetric difference,
if the lines are regarded as sets).
Homogeneous coordinates for the
points of this line —
(1,0), (0,1), (1,1).
Here 0 and 1 stand for the elements
of the two-element Galois field GF(2).
The 3-point line is the projective space
corresponding to the affine space
(a plane, not a line) with four points —
(an affine space)
The (Galois) points of this affine plane are
not the single and combined (Euclidean)
line segments that play the role of
points in the 3-point projective line,
but rather the four subsquares
that the line segments separate.
For further details, see Galois Geometry.
There are, of course, also the trivial
two-point affine space and the corresponding
trivial one-point projective space —
Here again, the points of the affine space are
represented by squares, and the point of the
projective space is represented by a line segment
separating the affine-space squares.
Comments Off on Midsummer Noon
Tuesday, May 4, 2010
Mathematics and Narrative, continued
Romancing the
Non-Euclidean Hyperspace
Backstory —
Mere Geometry, Types of Ambiguity,
Dream Time, and Diamond Theory, 1937
For the 1937 grid, see Diamond Theory, 1937.
The grid is, as Mere Geometry points out, a non-Euclidean hyperspace.
For the diamonds of 2010, see Galois Geometry and Solomon’s Cube.
Comments Off on Mathematics and Narrative, continued
Monday, December 14, 2009
Peer Review at Wikipedia
Recent Wikipedia activity in the area of finite geometry–
A list, complete up to now, of all Wikipedia changes made by anonymous user Marconet:
- 15:27, 13 December 2009 (hist | diff) m Robert Daniel Carmichael (top) (Tag: references removed)
- 14:46, 21 November 2009 (hist | diff) General linear group (External Links)
- 10:41, 8 October 2008 (hist | diff) User talk:Barkeep (Translation Plane Link)
- 17:36, 7 October 2008 (hist | diff) Multiple time dimensions (Move to External links)
- 17:26, 7 October 2008 (hist | diff) Mathieu group (Move unpublished material/original research to External links)
- 17:12, 7 October 2008 (hist | diff) Translation plane (External link instead of internal)
Note that all these items are related to changes in links that lead to my own web pages– with one exception, rather technical pages on finite geometry.
A list, complete up to now, of all Wikipedia changes made by anonymous user Greenfernglade:
- 14:00, 14 December 2009 (hist | diff) Multiple time dimensions (WP:Self-Promotion) (top)
- 13:57, 14 December 2009 (hist | diff) Mathieu group (WP:Self-Promotion) (top)
- 13:56, 14 December 2009 (hist | diff) Logical connective (WP:Self-Promotion) (top)
- 13:55, 14 December 2009 (hist | diff) General linear group (WP:Self-Promotion)
- 13:54, 14 December 2009 (hist | diff) Galois geometry (WP:Self-Promotion) (top)
- 13:51, 14 December 2009 (hist | diff) Finite geometry (WP:Self-Promotion) (top)
Again, all these items are related to changes (in this case, deletions) in links that lead to my own web pages. Greenfernglade may or may not be the same person as Marconet. Neither one has a user home page at Wikipedia, but use of the pseudonyms has apparently served to cover up the IP address(es?) of the changes’ originator(s?).
For similar changes in the past, see my “user talk” page at Wikipedia. As I noted there on May 31, 2007, “There seems little point in protesting the deletions while Wikipedia still allows any anonymous user to change their articles.”
Comments Off on Peer Review at Wikipedia
Wednesday, May 6, 2009
Wednesday May 6, 2009
Joke
“My pursuits are a joke
in that the universe is a joke.
One has to reflect
the universe faithfully.”
— John Frederick Michell
Feb. 9, 1933 –
April 24, 2009
“I laugh because I dare not cry.
This is a crazy world and
the only way to enjoy it
is to treat it as a joke.”
This is a crazy world and
the only way to enjoy it
is to treat it as a joke.”
— Robert A. Heinlein,
The Number of the Beast
For Marisa Tomei
(born Dec. 4, 1964) —
on the day that
Bob Seger turns 64 —
A Joke:
Points All Her Own
Points All Her Own,
Part I:
(For the backstory, see
the Log24 entries and links
on Marisa Tomei’s birthday
last year.)
Points All Her Own,
Part II:
(For the backstory, see
Galois Geometry:
The Simplest Examples.)
Points All Her Own,
Part III:
(For the backstory, see
Geometry of the I Ching
and the history of
Chinese philosophy.)
In simpler terms:
Comments Off on Wednesday May 6, 2009
Thursday, February 5, 2009
Thursday February 5, 2009
Through the
Looking Glass:
A Sort of Eternity
From the new president’s inaugural address:
“… in the words of Scripture, the time has come to set aside childish things.”
The words of Scripture:
“through a glass”—
[di’ esoptrou].
By means of
a mirror [esoptron].
Childish things:
© 2005 The Institute for Figuring
Photo by Norman Brosterman
fom the Inventing Kindergarten
exhibit at The Institute for Figuring
(co-founded by Margaret Wertheim)
fom the Inventing Kindergarten
exhibit at The Institute for Figuring
(co-founded by Margaret Wertheim)
Not-so-childish:
Three planes through
the center of a cube
that split it into
eight subcubes:
Through a glass, darkly:
A group of 8 transformations is
generated by affine reflections
in the above three planes.
Shown below is a pattern on
the faces of the 2x2x2 cube
that is symmetric under one of
these 8 transformations–
a 180-degree rotation:
(Click on image
for further details.)
But then face to face:
A larger group of 1344,
rather than 8, transformations
of the 2x2x2 cube
is generated by a different
sort of affine reflections– not
in the infinite Euclidean 3-space
over the field of real numbers,
but rather in the finite Galois
3-space over the 2-element field.
Galois age fifteen,
drawn by a classmate.
These transformations
in the Galois space with
finitely many points
produce a set of 168 patterns
like the one above.
For each such pattern,
at least one nontrivial
transformation in the group of 8
described above is a symmetry
in the Euclidean space with
infinitely many points.
For some generalizations,
see Galois Geometry.
Related material:
The central aim of Western religion–
"Each of us has something to offer the Creator... the bridging of masculine and feminine, life and death. It's redemption.... nothing else matters." -- Martha Cooley in The Archivist (1998) The central aim of Western philosophy– Dualities of Pythagoras as reconstructed by Aristotle: Limited Unlimited Odd Even Male Female Light Dark Straight Curved ... and so on .... “Of these dualities, the first is the most important; all the others may be seen as different aspects of this fundamental dichotomy. To establish a rational and consistent relationship between the limited [man, etc.] and the unlimited [the cosmos, etc.] is… the central aim of all Western philosophy.” — Jamie James in The Music of the Spheres (1993) “In the garden of Adding — The Midrash Jazz Quartet in City of God, by E. L. Doctorow (2000) A quotation today at art critic Carol Kino’s website, slightly expanded: “Art inherited from the old religion — Octavio Paz,”Seeing and Using: Art and Craftsmanship,” in Convergences: Essays on Art and Literature (New York: Harcourt Brace Jovanovich 1987), 52 From Brian O’Doherty’s 1976 Artforum essays– not on museums, but rather on gallery space: “We have now reached
“Space: what you — James Joyce, Ulysses |
Comments Off on Thursday February 5, 2009
Wednesday, October 22, 2008
Wednesday October 22, 2008
Euclid vs. Galois
On May 4, 2005, I wrote a note about how to visualize the 7-point Fano plane within a cube.
Last month, John Baez showed slides that touched on the same topic. This note is to clear up possible confusion between our two approaches.
From Baez’s Rankin Lectures at the University of Glasgow:
Note that Baez’s statement (pdf) “Lines in the Fano plane correspond to planes through the origin [the vertex labeled ‘1’] in this cube” is, if taken (wrongly) as a statement about a cube in Euclidean 3-space, false.
The statement is, however, true of the eightfold cube, whose eight subcubes correspond to points of the linear 3-space over the two-element field, if “planes through the origin” is interpreted as planes within that linear 3-space, as in Galois geometry, rather than within the Euclidean cube that Baez’s slides seem to picture.
This Galois-geometry interpretation is, as an article of his from 2001 shows, actually what Baez was driving at. His remarks, however, both in 2001 and 2008, on the plane-cube relationship are both somewhat trivial– since “planes through the origin” is a standard definition of lines in projective geometry– and also unrelated– apart from the possibility of confusion– to my own efforts in this area. For further details, see The Eightfold Cube.
Comments Off on Wednesday October 22, 2008
Sunday, July 9, 2006
Sunday July 9, 2006
Today’s birthday:
Tom Hanks, star of
“The Da Vinci Code”
Ben Nicholson
and the Holy Grail
Part I:
A Current Exhibit
and the Holy Grail
Part I:
A Current Exhibit
A. Diamond Theory, a 1976 preprint containing, in the original version, the designs on the faces of Nicholson’s “Kufi blocks,” as well as some simpler traditional designs, and
B. “Block Designs,” a web page illustrating design blocks based on the 1976 preprint.
Part III:
The Leonardo Connection
See Modern-Day Leonardos, part of an account of a Leonardo exhibit at Chicago’s Museum of Science and Industry that includes Ben Nicholson and his “Kufi Blocks.”
Part IV:
Nicholson’s Grail Quest
“I’m interested in locating the holy grail of the minimum means to express the most complex ideas.”
— Ben Nicholson in a 2005 interview
Nicholson’s quest has apparently lasted for some time. Promotional material for a 1996 Nicholson exhibit in Montreal says it “invites visitors of all ages to experience a contemporary architect’s search for order, meaning and logic in a world of art, science and mystery.” The title of that exhibit was “Uncovering Geometry.”
For web pages to which this same title might apply, see Quilt Geometry, Galois Geometry, and Finite Geometry of the Square and Cube.
* “Square Kufi” calligraphy is used in Islamic architectural ornament. I do not know what, if anything, is signified by Nicholson’s 6×12 example of “Kufi blocks” shown above.
Comments Off on Sunday July 9, 2006
Friday, June 23, 2006
Friday June 23, 2006
Binary Geometry
There is currently no area of mathematics named “binary geometry.” This is, therefore, a possible name for the geometry of sets with 2n elements (i.e., a sub-topic of Galois geometry and of algebraic geometry over finite fields– part of Weil’s “Rosetta stone” (pdf)).
Examples:
- Charles Sanders Peirce, “The Simplest Mathematics.”
- Donald E. Knuth’s discussion of binary hypercubes in “Boolean Basics,” a draft of section 7.1.1 in The Art of Computer Programming, Volume 4: Combinatorial Algorithms
- My own discussion of a binary hypercube in Geometry of the 4x4x4 Cube
- A more sophisticated example: the geometry of elliptic curves over a binary Galois field. For an excellent introduction, see the Certicom online elliptic curve tutorial. This has an applet illustrating elliptic curves in a space of 256 points (256=16×16, with the x and y variables of a curve each having 16 possible values).
- In summary, apart from the fact that the native language of computers has characteristic 2, “binary” mathematics, i.e. mathematics in characteristic 2, is of special interest both in the study of finite geometry (Finite Geometry of the Square and Cube) and in algebraic geometry (see, for instance, the work of Brian Conrad).
Comments Off on Friday June 23, 2006
Tuesday, May 30, 2006
Tuesday May 30, 2006
The Mathematical
Association of America
discusses
finite geometry:
Association of America
discusses
finite geometry:
|
The Fano Plane
by Ed Pegg Jr.,
“One thing in the Fano plane that bothered me for years (for years, I say) is that it had a circle – and it was described as a line. For me, a line was a straight line, and I didn’t trust curved or wriggly lines. This distrust kept me away from understanding projective planes, designs, and finite geometries for a awhile (for years).”
|
“Against stupidity
the gods themselves
fight unvictorious.”
the gods themselves
fight unvictorious.”
— Schiller,* quoted as
the epigraph to the
chapter on Galois in
Men of Mathematics,
by E. T. Bell
Related material:
Galois Geometry
* From Die Jungfrau von Orleans
(The Maid of Orleans), Act III, sc. vi.
Today is the feast of that Jungfrau.
Click on picture
for details.
Comments Off on Tuesday May 30, 2006
Friday, May 26, 2006
Friday May 26, 2006
A Living Church
continued from March 27
"The man who lives in contact with what he believes to be a living Church is a man always expecting to meet Plato and Shakespeare to-morrow at breakfast."
— G. K. Chesterton
 Shakespearean Fool |
Related material:
Yesterday's entries
and their link to
The Line
as well as
and the remarks
of Oxford professor
Marcus du Sautoy,
who claims that
"the right side of the brain
is responsible for mathematics."
Let us hope that Professor du Sautoy
is more reliable on zeta functions,
his real field of expertise,
than on neurology.
The picture below may help
to clear up his confusion
between left and right.
His confusion about
pseudoscience may not
be so easily remedied.
flickr.com/photos/jaycross/3975200/
(Any resemblance to the film
"Hannibal" is purely coincidental.)
Comments Off on Friday May 26, 2006
Thursday, April 6, 2006
-embedding-in-PG(3,2)-Planat-Saniga-1000w.jpg){kind=link}
Friday, June 24, 2005
Friday June 24, 2005
Geometry for Jews
continued:
continued:
People have tried in many ways
to bridge the gap
between themselves and God….
No bridge reaches God, except one…
God's Bridge: The Cross
to bridge the gap
between themselves and God….
No bridge reaches God, except one…
God's Bridge: The Cross
— Billy Graham Evangelistic Association,
according to messiahpage.com
"… just as God defeats the devil:
this bridge exists;
it is the theory of the field
of algebraic functions over
a finite field of constants
(that is to say, a finite number
of elements: also said to be a Galois
field, or earlier 'Galois imaginaries'
because Galois first defined them
and studied them….)"
— André Weil, 1940 letter to his sister,
Simone Weil, alias Simone Galois
(see previous entry)
Related material:
Billy Graham and the City:
A Later Look at His Words
— New York Times, June 24, 2005
Comments Off on Friday June 24, 2005
Wednesday, May 4, 2005
Wednesday May 4, 2005
The Fano Plane
Revisualized:
Revisualized:
or, The Eightfold Cube
Here is the usual model of the seven points and seven lines (including the circle) of the smallest finite projective plane (the Fano plane):
Every permutation of the plane's points that preserves collinearity is a symmetry of the plane. The group of symmetries of the Fano plane is of order 168 and is isomorphic to the group PSL(2,7) = PSL(3,2) = GL(3,2). (See Cameron on linear groups (pdf).)
The above model indicates with great clarity six symmetries of the plane– those it shares with the equilateral triangle. It does not, however, indicate where the other 162 symmetries come from.
Shown below is a new model of this same projective plane, using partitions of cubes to represent points:
The cubes' partitioning planes are added in binary (1+1=0) fashion. Three partitioned cubes are collinear if and only if their partitioning planes' binary sum equals zero.
The second model is useful because it lets us generate naturally all 168 symmetries of the Fano plane by splitting a cube into a set of four parallel 1x1x2 slices in the three ways possible, then arbitrarily permuting the slices in each of the three sets of four. See examples below.
For a proof that such permutations generate the 168 symmetries, see Binary Coordinate Systems.
(Note that this procedure, if regarded as acting on the set of eight individual subcubes of each cube in the diagram, actually generates a group of 168*8 = 1,344 permutations. But the group's action on the diagram's seven partitions of the subcubes yields only 168 distinct results. This illustrates the difference between affine and projective spaces over the binary field GF(2). In a related 2x2x2 cubic model of the affine 3-space over GF(2) whose "points" are individual subcubes, the group of eight translations is generated by interchanges of parallel 2x2x1 cube-slices. This is clearly a subgroup of the group generated by permuting 1x1x2 cube-slices. Such translations in the affine 3-space have no effect on the projective plane, since they leave each of the plane model's seven partitions– the "points" of the plane– invariant.)
To view the cubes model in a wider context, see Galois Geometry, Block Designs, and Finite-Geometry Models.
For another application of the points-as-partitions technique, see Latin-Square Geometry: Orthogonal Latin Squares as Skew Lines.
For more on the plane's symmetry group in another guise, see John Baez on Klein's Quartic Curve and the online book The Eightfold Way. For more on the mathematics of cubic models, see Solomon's Cube.
For a large downloadable folder with many other related web pages, see Notes on Finite Geometry.
Comments Off on Wednesday May 4, 2005